A new class of order types

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

New Criteria for Existence of a Class of Generalized Euler-types Constants

One of the most important mathematical constants is Euler-Mascheroni constant that is the limit of the sequence --------------------------------  and is denoted by gamma. Some other developed constants known as Euler type constants are introduced in order to generalize the above constant. In the present paper, inspired by the functional sequence derivative of the limit summand of functions (i...

متن کامل

Sufficient Conditions for a New Class of Polynomial Analytic Functions of Reciprocal Order alpha

In this paper, we consider a new class of analytic functions in the unit disk using polynomials of order alpha. We give some sufficient conditions for functions belonging to this class.

متن کامل

A New Class of Spatial Covariance Functions Generated by Higher-order Kernels

Covariance functions and variograms play a fundamental role in exploratory analysis and statistical modelling of spatial and spatio-temporal datasets. In this paper, we construct a new class of spatial covariance functions using the Fourier transform of some higher-order kernels. Moreover, we extend this class of spatial covariance functions to the spatio-temporal setting using the idea used in...

متن کامل

A First-Order Logic with First-Class Types

This paper presents a strongly complete calculus for a firstorder statically-typed predicate logic with first-class types, type predicates and casts, provided that the type hierarchy is Noetherian. We show that this restriction cannot be relaxed.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Mathematical Logic

سال: 1976

ISSN: 0003-4843

DOI: 10.1016/0003-4843(76)90001-2